Visual Software Development Environment Based on Graph Grammars
نویسندگان
چکیده
منابع مشابه
Development Environment for Language Processors Based on Attribute Grammars
To develop language processors efficiently is difficult because they need to deal with large data with complex structures. Using tools based on formal specification is one of the strategies to reduce the cost in developing language processors. However, the area of application which can be developed by these tools is limited. This dissertation aims at realization of the practical development env...
متن کاملVisual Development Environment Based on Component Technique
In this paper, a visual development environment for components is presented. The advantages of this environment are the strict compliance with the component concept, new kinds of component editors, and the ability to write test cases for components.
متن کاملRepairing software style using graph grammars
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to conform to this style during the maintenance phase of the software-life cycle. We will assume that the architectural design of a software system is available; for instance, it may have been extracted from the source code of ...
متن کاملStochastic Object-Based Graph Grammars
Object-Based Graph Grammar (OBGG) is a formal visual language suited to the specification of asynchronous distributed systems based on message passing. Model-checking of OBGG models is currently supported and a series of case studies have been developed. However, in many situations one has to evaluate non-functional aspects like availability and performance of the system under consideration. In...
متن کاملD-PATR: A Development Environment for Unification-Based Grammars
I)-PATR is a development environment for unification-based grammars on Xerox l i00 series work stations. It is based on the PATR formalism developed at SRI International. This formalism is suitable for encoding a wide variety of grammars. At one end of this range are simple phrase-structure grammars with no feature augmentations. The PATR formalism can also be used to encode grammars that are b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2009
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e92.d.401